<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<workcraft-config>
  <group name="RandomLayout">
    <var name="startX" value="-25.0"/>
    <var name="rangeX" value="50.0"/>
    <var name="startY" value="-15.0"/>
    <var name="rangeY" value="30.0"/>
  </group>
  <group name="gui">
    <var name="main.recentFile3" value=""/>
    <var name="main.recentFile2" value=""/>
    <var name="main.recentFile1" value=""/>
    <var name="main.height" value="600"/>
    <var name="main.recentFile0" value=""/>
    <var name="main.width" value="800"/>
    <var name="main.maximised" value="false"/>
    <var name="main.recentFile9" value=""/>
    <var name="main.recentFile8" value=""/>
    <var name="main.recentFile7" value=""/>
    <var name="main.recentFile6" value=""/>
    <var name="main.recentFile5" value=""/>
    <var name="main.recentFile4" value=""/>
  </group>
  <group name="DotLayout">
    <var name="dotCommand" value="dot"/>
    <var name="importConnectionsShape" value="true"/>
  </group>
  <group name="CommonVisualSettings">
    <var name="borderColor" value="#0"/>
    <var name="labelVisibility" value="true"/>
    <var name="fillColor" value="#ffffff"/>
    <var name="lineSpacing" value="0.3"/>
    <var name="labelColor" value="#0"/>
    <var name="nameVisibility" value="false"/>
    <var name="baseSize" value="1.0"/>
    <var name="labelPositioning" value="TOP"/>
    <var name="pivotWidth" value="0.02"/>
    <var name="pivotSize" value="0.2"/>
    <var name="redrawInterval" value="20"/>
    <var name="namePositioning" value="BOTTOM"/>
    <var name="nameColor" value="#b2"/>
    <var name="strokeWidth" value="0.1"/>
  </group>
  <group name="CommonSimulationSettings">
    <var name="useEnabledBackground" value="false"/>
    <var name="useEnabledForeground" value="true"/>
    <var name="enabledForegroundColor" value="#ff8000"/>
  </group>
  <group name="CommonCommentSettings">
    <var name="textColor" value="#0"/>
    <var name="borderColor" value="#808080"/>
    <var name="fillColor" value="#ffffc8"/>
    <var name="baseSize" value="1.0"/>
    <var name="strokeWidth" value="0.02"/>
  </group>
  <group name="CommonEditorSettings">
    <var name="showGrid" value="true"/>
    <var name="debugClipboard" value="false"/>
    <var name="showAbsolutePaths" value="false"/>
    <var name="iconSize" value="24"/>
    <var name="showRulers" value="true"/>
    <var name="backgroundColor" value="#ffffff"/>
    <var name="titleStyle" value="SHORT"/>
    <var name="recentCount" value="10"/>
  </group>
</workcraft-config>
